Avoiding deadlock avoidance

ثبت نشده
چکیده

The evolution of processor architectures from single core designs with increasing clock frequencies to multi-core designs with relatively stable clock frequencies has fundamentally altered application design. Since application programmers can no longer rely on clock frequency increases to boost performance, over the last several years, there has been significant emphasis on application level threading to achieve performance gains. A core problem with concurrent programming using threads is the potential for deadlocks. Even well-written codes that spend an inordinate amount of effort in deadlock avoidance cannot always avoid deadlocks, particularly when the order of lock acquisitions is not known a priori. Furthermore, arbitrarily composing lock based codes may result in deadlock one of the primary motivations for transactional memory. In this paper, we present a language independent runtime system that provides automatic deadlock detection and recovery for threaded applications that use the POSIX threads (pthreads) interface the de facto standard for UNIX systems. The runtime is implemented as a pre-loadable library and does not require either the application source code or recompiling/relinking phases, enabling its use for existing applications with arbitrary multi-threading models. Performance evaluation of the runtime with unmodified SPLASH, Phoenix and synthetic benchmark suites shows that it is scalable, with speedup comparable to baseline execution.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Deadlock Avoidance in Petri Nets with Uncontrollable Transitions Interdisciplinary Studies of Intelligent Systems Deadlock Avoidance in Petri Nets with Uncontrollable Transitions 1

Recent results in the literature have provided eecient control synthesis techniques for the problem of deadlock avoidance in Petri nets. These results are shown to t within an established framework for the enforcement of linear constraints on the marking behavior of a net. Framing the problem in this way allows uncontrollable transitions to be included in the plant model when deadlock avoidance...

متن کامل

Deadlock avoidance for production systems with flexible routing

Avoiding deadlock is essential in the operation of highly automated manufacturing systems. Many of these systems support sufficient redundancy to permit flexible part routing. Although flexible routing improves the inherent operational flexibility of these systems, it also requires more highly sophisticated supervisory control techniques. The objective of this work is to characterize the deadlo...

متن کامل

Avoiding unsafe states in manufacturing systems based on polynomial digraph algorithms

− A deadlock-free unsafe (DFU) state of Resource Allocation System (RAS) is deadlock-free but inevitable to enter a deadlock state. Previous research revealed that in many special systems, DFU states do not exist and polynomial deadlock avoidance policy (DAP) using one-step look ahead algorithms can avoid deadlock states. This paper first establishes the NP-completeness on determining the exist...

متن کامل

Deadlock Avoidance and Detection in Railway Simulation Systems

Avoiding or preventing deadlocks in simulation tools for train scheduling remains a critical issue, especially when combined with the objective of minimizing, e.g., the travel times of the trains. In this paper, we revisit the deadlock avoidance and detection problem, and propose a new deadlock avoidance algorithm, called DEADAALG, based on a resource reservation mechanism. The DEADAALG algorit...

متن کامل

Banker's Deadlock Avoidance Algorithm for Distributed Service-Oriented Architectures

A distributed service-oriented architecture comprises interconnected machines that together support a number of services. Concurrent service requests made to an individual machine are supported with shared, and limited, resources associated with that machine. A call to a service method may in turn invoke methods from other services, resulting in a nesting of service calls that is represented by...

متن کامل

Designing Routing and Message-Dependent Deadlock Free Networks on Chips

Networks on Chip (NoC) has emerged as the paradigm for designing scalable communication architecture for Systems on Chips (SoCs). Avoiding the conditions that can lead to deadlocks in the network is critical for using NoCs in real designs. Methods that can lead to deadlock-free operation with minimum power and area overhead are important for designing application-specific NoCs. The deadlocks th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010